Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
111	Logic-Based Methods for Assurance of Complex System Performance Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:23 Philosophical logic Non-classical logic Modal logic Model theory Metalogic Model checking Kripke semantics Categorical logic Natural deduction Logic Mathematical logic Mathematics
112	On the Tractability of Comparing Informational Structures∗ C´edric D´egremont1 , Lena Kurzen2 , and Jakub Szymanik3 1, 3 2 Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2011-11-28 09:21:46 Philosophical logic Modal logic Model theory Complexity classes Theoretical computer science Bisimulation Kripke semantics Epistemic modal logic Saul Kripke Logic Mathematical logic Mathematics
113	Synthese[removed]:371–408 DOI[removed]s11229[removed]Exploring the tractability border in epistemic tasks Cédric Dégremont · Lena Kurzen · Jakub Szymanik Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-03-11 16:51:33 Philosophical logic Model theory Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Closure Interpretation Logic Mathematical logic Modal logic
114	Under consideration for publication in Math. Struct. in Comp. Science A Relational Model of Non-Deterministic Dataflow Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-05-12 10:41:14 Theoretical computer science Monoidal categories Logic in computer science Computer architecture Programming language semantics Dataflow Kahn process networks Operational semantics Kripke semantics Models of computation Mathematics Logic
115	On induction vs. -continuity Add to Reading List Source URL: www.cs.cornell.edu Language: English* - Date: 2013-06-11 18:45:23 Algebraic structures Kripke semantics Boolean algebra Model theory Kleene algebra Boolean algebras canonically defined C*-algebra Mathematics Mathematical logic Logic
116	Generalized Topological Semantics for First-Order Modal Logic Kohei Kishida 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Model theory Philosophical logic Philosophy of language Kripke semantics Interpretation First-order logic Epistemic modal logic Classical logic Proposition Logic Mathematical logic Modal logic
117	Comments on Saul Kripke’s Philosophical Troubles∗ Ted Sider December 2013, Eastern APA 1. Introduction Add to Reading List Source URL: tedsider.org Language: English - Date: 2014-05-17 12:24:42 Philosophical logic Philosophy of language Semantics Meaning Analytic philosophers Sense and reference Saul Kripke Naming and Necessity Gottlob Frege Analytic philosophy Philosophy Logic
118	I probably won’t revise or publish this paper; feel free to cite. Beyond the Humphrey Objection∗ Theodore Sider Draft of 2006 Add to Reading List Source URL: tedsider.org Language: English - Date: 2010-10-10 14:21:05 Philosophical logic Semantics Modal logic Meaning Philosophy of language Counterpart theory Saul Kripke Possible world Modal realism Logic Philosophy Analytic philosophy
119	The Focused Constraint Inverse Method for Intuitionistic Modal Logics Sean McLaughlin and Frank Pfenning Carnegie Mellon University Abstract. We present a focused inverse method for proof search in a variety of Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-25 08:50:19 Philosophical logic Model theory Deduction Modal logic Natural deduction Admissible rule Entailment Curry–Howard correspondence Kripke semantics Logic Mathematical logic Proof theory
120	The Semantics of Predicate Logic as a Programming Language M. H. VAN E M D E N A N D R. A. K O W A L S K I Umverslty of Edinburgh, Edmburgh. Scotland ABSTRACT Sentences in first-order predicate logic can be usefully inte Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory

UPDATE